Peter Aczel
Peter Aczel is a British mathematician, logician and computer scientist based at the University of Manchester.[1] He is known for his work in non-well-founded set theory[2] and constructive mathematics.[3]
Notes
- ^ http://www.cs.man.ac.uk/~petera/
- ^ http://plato.stanford.edu/entries/nonwellfounded-set-theory/index.html
- ^ Constructive set theory
External links
| Persondata |
| Name |
Aczel, Peter |
| Alternative names |
|
| Short description |
|
| Date of birth |
|
| Place of birth |
|
| Date of death |
|
| Place of death |
|